<?php

/*

***************************************
*                                     *
* Copyright 2011 David Matthew Pugh   *
* Contact Info:thebravedave@gmail.com *
*                                     *
***************************************

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.
*/

if( $_SERVER['SERVER_PORT'] == 80) 
{
        header('Location:https://'.$_SERVER['HTTP_HOST'].dirname($_SERVER['PHP_SELF']).'/'.basename($_SERVER['PHP_SELF']));
        die();
}
if(!isset($_SESSION))
{
   session_start();
}
if ($_SESSION['HTTP_USER_AGENT'] != md5($_SERVER['HTTP_USER_AGENT'])) 
{
       header("Location: ./main_login.php");
} 
else 
{
    $_SESSION['HTTP_USER_AGENT'] = md5($_SERVER['HTTP_USER_AGENT']);
}

if(isset($_COOKIE['token']) && isset($_SESSION['token']))
{
    $cookie_token = $_COOKIE['token'];
    $session_token = $_SESSION['token'];
    if($cookie_token != $session_token)
    {
         header("Location: ./main_login.php");
        
    }   
}
else
{    
    header("Location: ./main_login.php");
}


?>
